Sondergaard, Harald: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (35)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Mix: A self-applicable partial evaluator for experiments in compiler generation

Neil D. Jones, Peter Sestoft, Harald Søndergaard

Журнал:

Higher-Order and Symbolic Computation

Рік:

1989

Мова:

english

Файл:

PDF, 2.79 MB

english, 1989

2

Denotational abstract interpretation of logic programs

Marriott, Kim, Søndergaard, Harald, Jones, Neil D.

Журнал:

ACM Transactions on Programming Languages and Systems

Рік:

1994

Мова:

english

Файл:

PDF, 2.72 MB

english, 1994

3

Information loss in knowledge compilation: A comparison of Boolean envelopes

Peter Schachte, Harald Søndergaard, Leigh Whiting, Kevin Henshall

Журнал:

Artificial Intelligence

Рік:

2010

Мова:

english

Файл:

PDF, 384 KB

english, 2010

4

Guest editors' foreword

Peter Sestoft, Harald Søndergaard

Журнал:

Higher-Order and Symbolic Computation

Рік:

1995

Мова:

english

Файл:

PDF, 80 KB

english, 1995

5

Precise and efficient groundness analysis for logic programs

Marriott, Kim, Søndergaard, Harald

Журнал:

ACM Letters on Programming Languages and Systems

Рік:

1993

Мова:

english

Файл:

PDF, 987 KB

english, 1993

6

[IEEE 2019 IEEE 26th Symposium on Computer Arithmetic (ARITH) - Kyoto, Japan (2019.6.10-2019.6.12)] 2019 IEEE 26th Symposium on Computer Arithmetic (ARITH) - Optimal Bounds for Floating-Point Addition in Constant Time

Andrlon, Mak, Schachte, Peter, Sondergaard, Harald, Stuckey, Peter J.

Рік:

2019

Мова:

english

Файл:

PDF, 196 KB

english, 2019

7

A practical object-oriented analysis engine for CLP

Andrew D. Kelly, Kim Marriott, Harald Søndergaard, Peter J. Stuckey

Журнал:

Software: Practice and Experience

Рік:

1998

Мова:

english

Файл:

PDF, 220 KB

english, 1998

8

Multivariate analysis of 2-DE protein patterns – Practical approaches

Susanne Jacobsen, Harald Grove, Kristina Nedenskov Jensen, Helle A. Sørensen, Flemming Jessen, Kristin Hollung, Anne Kjersti Uhlen, Bo M. Jørgensen, Ellen Mosleth Færgestad, Ib Søndergaard

Журнал:

ELECTROPHORESIS

Рік:

2007

Мова:

english

Файл:

PDF, 458 KB

english, 2007

9

Two classes of Boolean functions for dependency analysis

Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard

Журнал:

Science of Computer Programming

Рік:

1998

Мова:

english

Файл:

PDF, 2.77 MB

english, 1998

10

Differential methods in logic program analysis

Maria García de la Banda, Kim Marriott, Peter Stuckey, Harald Søndergaard

Журнал:

The Journal of Logic Programming

Рік:

1998

Мова:

english

Файл:

PDF, 2.11 MB

english, 1998

11

Referential transparency, definiteness and unfoldability

Harald Søndergaard, Peter Sestoft

Журнал:

Acta Informatica

Рік:

1990

Мова:

english

Файл:

PDF, 760 KB

english, 1990

12

Bottom-up dataflow analysis of normal logic programs

Kim Marriott, Harald Søndergaard

Журнал:

The Journal of Logic Programming

Рік:

1992

Мова:

english

Файл:

PDF, 1.69 MB

english, 1992

13

Difference-list transformation for Prolog

Kim Marriott, Harald Søndergaard

Журнал:

New Generation Computing

Рік:

1993

Мова:

english

Файл:

PDF, 1.47 MB

english, 1993

14

[ACM Press the 4th annual SIGCSE/SIGCUE ITiCSE conference - Cracow, Poland (1999.06.27-1999.06.30)] Proceedings of the 4th annual SIGCSE/SIGCUE ITiCSE conference on Innovation and technology in computer science education - ITiCSE '99 - A strategy for managing content complexity in algorithm animation

Stern, Linda, Søndergaard, Harald, Naish, Lee

Рік:

1999

Мова:

english

Файл:

PDF, 453 KB

english, 1999

15

Combination of Statistical Approaches for Analysis of 2-DE Data Gives Complementary Results

Grove, Harald, Jørgensen, Bo M., Jessen, Flemming, Søndergaard, Ib, Jacobsen, Susanne, Hollung, Kristin, Indahl, Ulf, Færgestad, Ellen M.

Журнал:

Journal of Proteome Research

Рік:

2008

Мова:

english

Файл:

PDF, 1.47 MB

english, 2008

16

Regional changes in vertebra morphology during ontogeny reflect the life history of Atlantic cod ( Gadus morhua L.)

Fjelldal, Per G., Totland, Geir K., Hansen, Tom, Kryvi, Harald, Wang, Xiyuan, Søndergaard, Jens L., Grotmol, Sindre

Журнал:

Journal of Anatomy

Рік:

2013

Мова:

english

Файл:

PDF, 1.40 MB

english, 2013

17

Collaborative learning through formative peer review: pedagogy, programs and potential

Søndergaard, Harald, Mulder, Raoul A.

Журнал:

Computer Science Education

Рік:

2012

Мова:

english

Файл:

PDF, 201 KB

english, 2012

18

An experiment in partial evaluation

Jones, Neil D., Sestoft, Peter, Søndergaard, Harald

Журнал:

ACM SIGPLAN Notices

Рік:

1985

Мова:

english

Файл:

PDF, 296 KB

english, 1985

19

[ACM Press the 14th annual ACM SIGCSE conference - Paris, France (2009.07.06-2009.07.09)] Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in computer science education - ITiCSE '09 - Learning from and with peers

Sondergaard, Harald

Рік:

2009

Мова:

english

Файл:

PDF, 547 KB

english, 2009

20

[ACM Press the 2012 ACM SIGPLAN Workshop - Beijing, China (2012.06.16-2012.06.16)] Proceedings of the 2012 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness - MSPC '12 - Towards region-based memory management for Go

Davis, Matthew, Schachte, Peter, Somogyi, Zoltan, Søndergaard, Harald

Рік:

2012

Мова:

english

Файл:

PDF, 201 KB

english, 2012

21

[ACM Press the ACM SIGPLAN Workshop - Seattle, Washington (2013.06.16-2013.06.19)] Proceedings of the ACM SIGPLAN Workshop on Memory Systems Performance and Correctness - MSPC '13 - A low overhead method for recovering unused memory inside regions

Davis, Matthew, Schachte, Peter, Somogyi, Zoltan, Søndergaard, Harald

Рік:

2013

Мова:

english

Файл:

PDF, 163 KB

english, 2013

22

Interval Analysis and Machine Arithmetic

Gange, Graeme, Navas, Jorge A., Schachte, Peter, Søndergaard, Harald, Stuckey, Peter J.

Журнал:

ACM Transactions on Programming Languages and Systems

Рік:

2015

Мова:

english

Файл:

PDF, 761 KB

english, 2015

23

Synthesizing Optimal Switching Lattices

Gange, Graeme, Søndergaard, Harald, Stuckey, Peter J.

Журнал:

ACM Transactions on Design Automation of Electronic Systems

Рік:

2014

Мова:

english

Файл:

PDF, 1.44 MB

english, 2014

24

Sharing and groundness dependencies in logic programs

Codish, Michael, Søndergaard, Harald, Stuckey, Peter J.

Журнал:

ACM Transactions on Programming Languages and Systems

Рік:

1999

Мова:

english

Файл:

PDF, 334 KB

english, 1999

25

[IEEE 2015 24th Australasian Software Engineering Conference (ASWEC) - Adelaide, SA, Australia (2015.9.28-2015.10.1)] 2015 24th Australasian Software Engineering Conference - Using Metamorphic Testing to Improve Dynamic Symbolic Execution

Alatawi, Eman, Miller, Tim, Sondergaard, Harald

Рік:

2015

Мова:

english

Файл:

PDF, 323 KB

english, 2015

26

Older Type Iv Colles Fractures Treated with Intramedullary Insertion of a Rush Pin

Knudsen, Harald Moustgaard, Lindblad, Bent Erling, Mikkelsen, Srosren Søndergaard

Журнал:

Scandinavian Journal of Plastic and Reconstructive Surgery and Hand Surgery

Рік:

1993

Мова:

english

Файл:

PDF, 487 KB

english, 1993

27

A complete refinement procedure for regular separability of context-free languages

Gange, Graeme, Navas, Jorge A., Schachte, Peter, Søndergaard, Harald, Stuckey, Peter J.

Журнал:

Theoretical Computer Science

Рік:

2016

Мова:

english

Файл:

PDF, 746 KB

english, 2016

28

[IEEE 2015 24th Australasian Software Engineering Conference (ASWEC) - Adelaide, SA, Australia (2015.9.28-2015.10.1)] 2015 24th Australasian Software Engineering Conference - Compositional Symbolic Execution Using Fine-Grained Summaries

Lin, Yude, Miller, Tim, Sondergaard, Harald

Рік:

2015

Мова:

english

Файл:

PDF, 350 KB

english, 2015

29

Learning from and with peers

Sondergaard, Harald

Журнал:

ACM SIGCSE Bulletin

Рік:

2009

Мова:

english

Файл:

PDF, 547 KB

english, 2009

30

A strategy for managing content complexity in algorithm animation

Stern, Linda, Søndergaard, Harald, Naish, Lee

Журнал:

ACM SIGCSE Bulletin

Рік:

1999

Мова:

english

Файл:

PDF, 453 KB

english, 1999

31

[ACM Press the 1st International Workshop - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 1st International Workshop on Metamorphic Testing - MET '16 - Generating source inputs for metamorphic testing using dynamic symbolic execution

Alatawi, Eman, Miller, Tim, Søndergaard, Harald

Рік:

2016

Мова:

english

Файл:

PDF, 369 KB

english, 2016

32

Reference Abstract Domains and Applications to String Analysis

Amadini, Roberto, Gange, Graeme, Gauthier, François, Jordan, Alexander, Schachte, Peter, Søndergaard, Harald, Stuckey, Peter J., Zhang, Chenyi

Журнал:

Fundamenta Informaticae

Рік:

2018

Мова:

english

Файл:

PDF, 360 KB

english, 2018

33

[IEEE 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Urbana, IL (2017.10.30-2017.11.3)] 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Leveraging abstract interpretation for efficient dynamic symbolic execution

Alatawi, Eman, Sondergaard, Harald, Miller, Tim

Рік:

2017

Мова:

english

Файл:

PDF, 229 KB

english, 2017

34

[IEEE 2016 23rd Asia-Pacific Software Engineering Conference (APSEC) - Hamilton, New Zealand (2016.12.6-2016.12.9)] 2016 23rd Asia-Pacific Software Engineering Conference (APSEC) - Compositional Symbolic Execution: Incremental Solving Revisited

Lin, Yude, Miller, Tim, Sondergaard, Harald

Рік:

2016

Мова:

english

Файл:

PDF, 260 KB

english, 2016

35

Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation

Wang, Wenxi, Søndergaard, Harald, Stuckey, Peter J.

Журнал:

Journal of Automated Reasoning

Рік:

2018

Мова:

english

Файл:

PDF, 2.02 MB

english, 2018